扫一扫
关注中图网
官方微博
>
关于“马明辉”检索到 共4种现货商品
-
-
分次模态语言的模型论
¥33.8(7.5折)定价:¥45.0本著作是国家社科基地西南大学逻辑与智能研究中心教育部重大课题攻关项目“现代归纳逻辑的创新功能与应用以及认知基础”（05JZD0008）的研究成果之一。本书把经典逻辑的这些结果推广到分次模态逻辑，所展现的主要技术性结论都是新成果。该书可能需要的对象：高等院校哲学系或数学系逻辑教学和研究单位，全国社会科学和自然科学研究机构中逻辑分支机构，全国高等院校和研究机构的图书馆。读者面向研究和学习模态逻辑的专家学者和研究生...
-
滨海矿山深部开采环境与岩层控制/土木工程科技创新与发展研究前沿丛书
¥51.0(7.5折)定价:¥68.0深部开采是我国矿产资源开发面临的迫切问题，也是今后保证我国矿产资源供给的主要途径。深部高应力、高渗透压、高温等特殊开采环境，对深部矿产资源开发提出了严峻的挑战。结合山东黄金三山岛金矿滨海矿山深部开采岩石力学与岩层控制工作，全面梳理了深部开采面临的特殊开采环境，系统介绍了基于岩石力学试验、原岩应力测试、岩体质量调查等基础岩石力学工作的开采扰动灾害防控理论与方法。主要内容包括深部地应力测量理论与方法、深部岩体结构面智能识别与质量评价、深部
-
结构证明论(第二版)
¥67.6(7.6折)定价:¥89.0结构证明论既是研究逻辑性质的方法，也是逻辑研究的组成部分，通过在系统内进行推导搜索，穷尽满足特定条件的所有可能推导，就可判定给定的句法对象是否可证。本书共8章，首先介绍了结构证明论的发展历史，然后在此基础上介绍了经典逻辑和直觉主义逻辑的自然演绎和矢列演算，运用证明论研究方法，通过分析证明的结构得到一些逻辑性质，如子公式性质、可判定性、插值性质等。另外，本书还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论...
